1. An introduction to formal specification and Z
پدیدآورنده : Ben Potter, Jane Sinclair, David Till
کتابخانه: Library of Institute of Geophysics University of Tehran (Tehran)
موضوع : Computer software - Geotools,Z )Computer program language(
رده :
QA
76
.
76
.
D47